Symbolic execution

Results: 153



#Item
21Redundant State Detection for Dynamic Symbolic Execution Suhabe Bugrara Stanford University Dawson Engler Stanford University

Redundant State Detection for Dynamic Symbolic Execution Suhabe Bugrara Stanford University Dawson Engler Stanford University

Add to Reading List

Source URL: nsl.cs.columbia.edu

- Date: 2014-12-07 19:02:19
    22SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation Implementations Sze Yiu Chau∗ Omar Chowdhury† Endadul Hoque∗ Huangyi Ge∗ Aniket Kate∗ Cristina Nita-Rotaru‡ Ni

    SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation Implementations Sze Yiu Chau∗ Omar Chowdhury† Endadul Hoque∗ Huangyi Ge∗ Aniket Kate∗ Cristina Nita-Rotaru‡ Ni

    Add to Reading List

    Source URL: www.ieee-security.org

    - Date: 2017-04-03 16:02:16
      23Efficient State Merging in Symbolic Execution Volodymyr Kuznetsov Johannes Kinder Stefan Bucur

      Efficient State Merging in Symbolic Execution Volodymyr Kuznetsov Johannes Kinder Stefan Bucur

      Add to Reading List

      Source URL: dslab.epfl.ch

      - Date: 2016-12-02 10:07:53
        24Targeted Program Transformations for Symbolic Execution Cristian Cadar Imperial College London

        Targeted Program Transformations for Symbolic Execution Cristian Cadar Imperial College London

        Add to Reading List

        Source URL: www.doc.ic.ac.uk

        - Date: 2016-12-06 14:12:25
          25Multi-solver Support in Symbolic Execution Hristina Palikareva and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {h.palikareva, c.cadar}@imperial.ac.uk

          Multi-solver Support in Symbolic Execution Hristina Palikareva and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {h.palikareva, c.cadar}@imperial.ac.uk

          Add to Reading List

          Source URL: srg.doc.ic.ac.uk

          - Date: 2013-05-01 10:35:53
            26Symbolic Execution Joe Hendrix Galois, Inc SMT Summer School 2015 | galois |

            Symbolic Execution Joe Hendrix Galois, Inc SMT Summer School 2015 | galois |

            Add to Reading List

            Source URL: www.cs.nyu.edu

            - Date: 2015-07-17 18:21:51
              27Symbooglix: A Symbolic Execution Engine for Boogie Programs Daniel Liew Cristian Cadar Alastair F. Donaldson Imperial College London United Kingdom {daniel.liew, c.cadar, alastair.donaldson}@imperial.ac.uk

              Symbooglix: A Symbolic Execution Engine for Boogie Programs Daniel Liew Cristian Cadar Alastair F. Donaldson Imperial College London United Kingdom {daniel.liew, c.cadar, alastair.donaldson}@imperial.ac.uk

              Add to Reading List

              Source URL: www.doc.ic.ac.uk

              - Date: 2016-02-07 18:26:53
                28make test-zesti: A Symbolic Execution Solution for Improving Regression Testing Paul Dan Marinescu and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {p.marinescu, c.cadar}@imperia

                make test-zesti: A Symbolic Execution Solution for Improving Regression Testing Paul Dan Marinescu and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {p.marinescu, c.cadar}@imperia

                Add to Reading List

                Source URL: www.doc.ic.ac.uk

                - Date: 2016-03-08 07:04:45
                  29Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency Elvira Albert Complutense University of Madrid

                  Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency Elvira Albert Complutense University of Madrid

                  Add to Reading List

                  Source URL: www.sti.uniurb.it

                  - Date: 2014-06-19 19:17:27